(0 7 2)(1 12 10)(3 20 5)(4 9 6)(8 14 11)(13 18 15)(16 19 17)
ALLOWS (11/8)-SEQUENCE
1: (1 12 20)
(0 7 2)(1 5 3 20 10)(4 9 6)(8 14 11)(12)(13 18 15)(16 19 17)
2: (1 5 10)
(0 7 2)(1)(3 20 10)(4 9 6)(5)(8 14 11)(12)(13 18 15)(16 19 17)
3: (0 7 2)
(0)(1)(2)(3 20 10)(4 9 6)(5)(7)(8 14 11)(12)(13 18 15)(16 19 17)
4: (4 9 6)
(0)(1)(2)(3 20 10)(4)(5)(6)(7)(8 14 11)(9)(12)(13 18 15)(16 19 17)